#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>

//typedef union
//{
//	int a;
//	struct
//	{
//		short b;
//		short c;
//	};
//}X;
//int main()
//{
//	X x;
//	x.a = 0x20150810;
//	printf("%x,%x\n", x.b, x.c);
//	return 0;
//}

//int main()
//{
//	unsigned char i = 7;
//	int j = 0;
//	for (; i > 0; i -= 3)
//	{
//		++j;
//	}
//	printf("%d\n", j);
//	return 0;
//}

//o(n^2)
//int main() {
//    int n, k;
//    scanf("%d %d", &n, &k);
//    long long num = 0;
//    int i = 0;
//    for (i = k; i <= n; i++)
//    {
//        int j = 0;
//        for (j = k+1; j <= n; j++)
//        {
//            if (i % j >= k)
//            {
//                num++;
//            }
//        }
//    }
//    printf("%ld\n", num);
//    return num;
//}


//int main() {
//    long n, k;
//    scanf("%d %d", &n, &k);
//    long long num = 0;
//    if (k)
//    {
//        for (long j = k + 1; j <= n; j++)
//        {
//            long help = n % j < k ? 0 : (n % j) - k + 1;
//            num += (j - k) * (n / j) + help;
//        }
//    }
//    else
//    {
//        num = n * n;
//        printf("%ld", num);
//        return 0;
//    }
//    printf("%ld", num);
//    return 0;
//}
//


//int main() {
//    char arr[1000];
//    gets(arr);
//    int k = 0;
//    scanf("%d", &k);
//    int i = 0;
//    for (i = 0; i < k; i++)
//    {
//        printf("%c", arr[i]);
//    }
//    return 0;
//}
